Specifying the Caltech Asynchronous Microprocessor
نویسندگان
چکیده
The action systems framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specified as a sequential program. The sequential specification is then decomposed and refined into a concurrent program using correctnesspreserving program transformations. Previously this microprocessor has been specified at Caltech, where an asynchronous circuit for the microprocessor was derived from the specification. We propose a specification strategy that is based on the idea of spatial decomposition of the program variable space.
منابع مشابه
25 Years Ago: the First Asynchronous Microprocessor
Twenty-five years ago, in December 1988, my research group at Caltech submitted the world’s first asynchronous (“clockless”) microprocessor design for fabrication to MOSIS. We received the chips in early 1989; testing started in February 1989. The chips were found fully functional on first silicon. The results were presented at the Decennial Caltech VLSI Conference in March of the same year. Th...
متن کاملAn Action System Speci cation of the CaltechAsynchronous
The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is speciied as a sequential program. The sequential specii-cation is then decomposed and reened into a concurrent program using correctness-preserving program transformations. Previously this microprocessor has been speciied in a semi-formal manner at Caltech, where...
متن کاملThe Design of an Asynchronous Memory Management Unit
This paper demonstrates the ease of transformation from a general description to a high-level CSP speci cation and through systematic transformations and optimizations to a circuit implementation. We present a detailed description of the design of a fully asynchronous memory management unit (MMU) to be used in conjunction with an asynchronous microprocessor. It was designed using Martin's synth...
متن کاملSpecication of a Microprocessor
The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specied as a sequential program. The sequential specication is then rened into a concurrent program using correctness-preserving program transformations. Previously a similar derivation was carried out informally within the CSP-framework at Caltech, where also a ...
متن کاملA Quasi-Delay-Insensitive Microprocessor Core Implementation for Microcontrollers
Microcontrollers are widely used on simple systems; thus, how to keep them operating with high robustness and low power consumption are the two most important issues. It is widely known that asynchronous circuit is the best solution to address these two issues at the same time. However, it’s not very easy to realize asynchronous circuit and certainly very hard to model processors with asynchron...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 26 شماره
صفحات -
تاریخ انتشار 1996